;;
(compose mu (bimap eta id)) ((), x)
= lambda ((), x) (compose mu (bimap id eta)) (x, ())
= rho (x, ())
